include(../cmake/gmp.cmake)
set(ARITH_LIBS "gmp")
#set(ARITH_LIBS "/home/dfaranha/projects/gmp-5.1.2/.libs/libgmp.a")
